121. Descriptional complexity of formal systems :
پدیدآورنده : Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.
122. Descriptional complexity of formal systems :
پدیدآورنده : Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
رده :
QA267
.
3
.
D34
2011
123. Discrete mathematics: applied algebra for computer and information science
پدیدآورنده : / Leonard S. Bobrow, Michael A. Arbib
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Machine theory,Formal languages,Algebra, abstract
رده :
512
.
02
B663d
124. #Elements of the theory of computation
پدیدآورنده : #Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Machine theory ،Formal languages ،Computational complexity ،Logic, Symbolic and mathematical
رده :
#
QA
،#.
L49
،#
1998
125. Elements of the theory of computation
پدیدآورنده : / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
126. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
127. Elements of the theory of computation
پدیدآورنده : / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
128. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Machine theory , Formal languages , Computational complexity , Logic, Symbolic and mathematical
رده :
QA
267
.
L49
1998
129. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
130. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
131. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
132. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
133. Elements of the theory of computation /
پدیدآورنده : Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA267
.
L49
1998
134. Fachtagung uber Automatentheorie und Formale Sprachen
پدیدآورنده : Gesellschaft fur Informatik
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Automata,Congresses ، Formal languages
رده :
QA
267
.
G47a
135. Feasible computations and provable complexity properties
پدیدآورنده : Hartmanis, Juris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H33
136. Formal languages and computation :
پدیدآورنده : Alexander Meduna
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages,Machine theory
رده :
QA267
.
3
.
M43
2014
137. Formal languages and their relation to automata
پدیدآورنده : Hopcroft, John E.
موضوع : ، Formal languages,، Machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
138. Formal languages and their relation to automata
پدیدآورنده : Hopcroft, John E
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
H6
139. Formal languages and their relation to automata
پدیدآورنده : Hopcroft, John E.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
H6
140. Formal languages and their relation to automata
پدیدآورنده : Hopcroft, John E.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Formal languages , Machine theory
رده :
QA
267
.
3
.
H6
